241. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
242. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده : Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
243. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
244. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
245. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
246. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
247. Automate this :
پدیدآورنده : Christopher Steiner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Capital market-- Computer simulation.,Computer simulation.,Finance-- Computer simulation.,Finance-- Decision making-- Data processing.,Algorithms.,BUSINESS & ECONOMICS / Finance,Computer simulation.,Finance-- Decision making-- Data processing.,TECHNOLOGY & ENGINEERING-- General.
رده :
HG106
.
S74
2012eb
248. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
249. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
250. Autonomous, Model-Based Diagnosis Agents
پدیدآورنده : by Michael Schroeder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
251. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
252. Beginning C++ game programming /
پدیدآورنده : Michael Dawson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C++ (Computer program language),Computer games-- Programming.,C++ (Computer program language),Computer games-- Programming.,GAMES-- Video & Electronic.
رده :
QA76
.
76
.
C672
D39
2004eb
253. Beginning programming all-in-one desk reference for dummies /
پدیدآورنده : by Wallace Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Programming languages (Electronic computers),Computer programming.,Programmierung.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
D47
W364
254. Big Java :
پدیدآورنده : Cay Horstmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Java (Computer program language)
رده :
QA76
.
73
.
J38
H67
2013
255. BigNum math :
پدیدآورنده : Tom St. Denis, Greg Rose
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security,Programming (Mathematics)
256. Bio-inspired computing :
پدیدآورنده : Jianyong Qiao, Xinchao Zhao, Linqiang Pan, Xingquan Zuo, Xingyi Zhang, Qingfu Zhang, Shanguo Huang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Natural computation.,Network hardware.
رده :
Q335
257. Bioinformatics
پدیدآورنده : / edited by Bertil Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Bioinformatics--Data processing,Parallel processing (Electronic computers)
رده :
QH324
.
2
.
B5487
2011
258. Bioinformatics algorithms :
پدیدآورنده : Miguel Rocha, Pedro G. Ferreira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Computational biology.,Computer algorithms.,Python (Computer program language),Bioinformatics.,Computational biology.,Computer algorithms.,NATURE / Reference.,Python (Computer program language),SCIENCE / Life Sciences / Biology.,SCIENCE / Life Sciences / General.
رده :
QH324
.
2
.
R6
2018eb
259. Bioinformatics :problem solving paradigms. ]CD[
پدیدآورنده : Sperschneider, V., Volker Sperschneider ; with contributions by Jana Sperschneider and Lena Scheubert
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Bioinformatics,Mathematics ، Bioinformatics,، Computer algorithms,، Bioinformatik
رده :
QH324
.
2
.
S665
2008
260. Biologically inspired optimization methods :
پدیدآورنده : M. Wahde
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ant algorithms, Textbooks,Combinatorial optimization, Textbooks,Evolutionary programming (Computer science), Textbooks
رده :
QA402
.
5
.
W3244
2008
